#ifndef __EKOS_KENREL_AUTH_H__
#define __EKOS_KENREL_AUTH_H__

/* AUTH module provide safety checking API for kernel. Althrough EKOS
 * is designed to be safe that exchange few data with user, the check
 * may be still useful */

/* Check whether the memory area is in the user address space */
int auth_is_userspace_range(uintptr_t start, size_t size);

#endif
